1. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
Author: Puppis, Gabriele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
Classification :
QA
267
.
P87
2010
